@CHARSET "UTF-8";

.hidden {
	display: none;
}

.highlight {
	color: red;
}